[prev] [prev-tail] [tail] [up]

2.2.5 Integrals 401 to 456

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 175 181 1035 0 967 323 0 0

N.S.

1 0.98 1.01 5.78 0.00 5.40 1.80 0.00 0.00

time (sec)

N/A 0.612 0.254 3.769 0.000 0.311 10.764 0.000 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 190 180 1039 0 980 347 0 0

N.S.

1 0.99 0.94 5.44 0.00 5.13 1.82 0.00 0.00

time (sec)

N/A 0.619 0.262 3.471 0.000 0.338 49.681 0.000 0.000

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 182 187 1041 0 981 0 0 0

N.S.

1 0.99 1.02 5.69 0.00 5.36 0.00 0.00 0.00

time (sec)

N/A 0.637 0.265 3.648 0.000 0.359 0.000 0.000 0.000

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 182 188 1041 0 981 0 0 0

N.S.

1 0.99 1.03 5.69 0.00 5.36 0.00 0.00 0.00

time (sec)

N/A 0.621 0.263 3.286 0.000 0.302 0.000 0.000 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 188 182 1044 0 981 0 0 0

N.S.

1 0.98 0.95 5.47 0.00 5.14 0.00 0.00 0.00

time (sec)

N/A 0.628 0.271 9.999 0.000 0.292 0.000 0.000 0.000

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 87 23 25 29 20 25 25

N.S.

1 1.00 3.78 1.00 1.09 1.26 0.87 1.09 1.09

time (sec)

N/A 0.219 0.092 0.056 0.230 0.257 6.413 0.308 0.484

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

21 21 87 21 23 25 19 23 23

N.S.

1 1.00 4.14 1.00 1.10 1.19 0.90 1.10 1.10

time (sec)

N/A 0.197 0.076 0.053 0.227 0.266 2.492 0.304 0.426

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

54 54 108 246 0 93 452 0 0

N.S.

1 1.00 2.00 4.56 0.00 1.72 8.37 0.00 0.00

time (sec)

N/A 0.270 0.113 0.635 0.000 0.269 149.775 0.000 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 86 23 25 29 20 25 25

N.S.

1 1.00 3.74 1.00 1.09 1.26 0.87 1.09 1.09

time (sec)

N/A 0.210 0.089 0.053 0.240 0.287 5.708 0.298 0.433

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 87 23 25 29 20 25 25

N.S.

1 1.00 3.78 1.00 1.09 1.26 0.87 1.09 1.09

time (sec)

N/A 0.214 0.084 0.060 0.243 0.296 4.023 0.345 0.477

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

20 20 69 20 22 22 17 22 22

N.S.

1 1.00 3.45 1.00 1.10 1.10 0.85 1.10 1.10

time (sec)

N/A 0.171 0.065 0.047 0.228 0.258 1.586 0.334 0.651

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 83 23 25 29 20 25 25

N.S.

1 1.00 3.61 1.00 1.09 1.26 0.87 1.09 1.09

time (sec)

N/A 0.209 0.085 0.056 0.243 0.255 3.808 0.406 0.425

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 140 23 25 42 22 25 25

N.S.

1 1.00 6.09 1.00 1.09 1.83 0.96 1.09 1.09

time (sec)

N/A 0.213 0.165 0.060 0.231 0.243 56.206 0.319 0.574

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

21 21 140 21 23 38 20 23 23

N.S.

1 1.00 6.67 1.00 1.10 1.81 0.95 1.10 1.10

time (sec)

N/A 0.191 0.162 0.059 0.229 0.260 10.048 0.311 0.546

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

102 116 132 342 0 214 360 0 0

N.S.

1 1.14 1.29 3.35 0.00 2.10 3.53 0.00 0.00

time (sec)

N/A 0.549 0.210 1.197 0.000 0.278 144.219 0.000 0.000

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 139 23 25 45 22 25 25

N.S.

1 1.00 6.04 1.00 1.09 1.96 0.96 1.09 1.09

time (sec)

N/A 0.209 0.164 0.058 0.234 0.266 117.217 0.324 0.464

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 140 23 25 42 22 25 25

N.S.

1 1.00 6.09 1.00 1.09 1.83 0.96 1.09 1.09

time (sec)

N/A 0.209 0.156 0.068 0.230 0.264 23.097 0.301 0.534

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

20 20 161 20 22 35 19 22 22

N.S.

1 1.00 8.05 1.00 1.10 1.75 0.95 1.10 1.10

time (sec)

N/A 0.178 1.707 0.051 0.224 0.262 9.127 0.398 0.556

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 135 23 25 45 22 25 25

N.S.

1 1.00 5.87 1.00 1.09 1.96 0.96 1.09 1.09

time (sec)

N/A 0.212 0.139 0.066 0.239 0.279 54.173 0.302 0.473

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 35 37 31 0 45 0 0 0

N.S.

1 0.95 1.00 0.84 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.311 0.016 0.510 0.000 0.266 0.000 0.000 0.000

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 153 132 177 172 169 299 0 0

N.S.

1 1.01 0.87 1.16 1.13 1.11 1.97 0.00 0.00

time (sec)

N/A 0.409 0.177 0.000 0.180 0.253 2.789 0.000 0.000

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 106 90 122 114 115 216 0 0

N.S.

1 1.02 0.87 1.17 1.10 1.11 2.08 0.00 0.00

time (sec)

N/A 0.356 0.094 0.000 0.180 0.316 2.348 0.000 0.000

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 54 68 56 64 131 0 0

N.S.

1 1.00 1.02 1.28 1.06 1.21 2.47 0.00 0.00

time (sec)

N/A 0.255 0.034 0.014 0.177 0.270 2.271 0.000 0.000

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

54 54 108 246 0 93 452 0 0

N.S.

1 1.00 2.00 4.56 0.00 1.72 8.37 0.00 0.00

time (sec)

N/A 0.266 0.032 0.000 0.000 0.285 148.700 0.000 0.000

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

102 116 132 342 0 214 360 0 0

N.S.

1 1.14 1.29 3.35 0.00 2.10 3.53 0.00 0.00

time (sec)

N/A 0.549 0.092 0.431 0.000 0.277 145.563 0.000 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

169 204 170 473 0 401 0 0 0

N.S.

1 1.21 1.01 2.80 0.00 2.37 0.00 0.00 0.00

time (sec)

N/A 0.969 0.158 4.003 0.000 0.279 0.000 0.000 0.000

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 245 262 418 391 521 588 0 0

N.S.

1 1.00 1.07 1.71 1.60 2.13 2.40 0.00 0.00

time (sec)

N/A 0.530 0.254 9.882 0.190 0.271 8.035 0.000 0.000

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 179 281 259 353 408 0 0

N.S.

1 1.00 1.11 1.75 1.61 2.19 2.53 0.00 0.00

time (sec)

N/A 0.434 0.174 3.382 0.185 0.269 7.698 0.000 0.000

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 109 149 131 193 245 0 0

N.S.

1 1.00 1.36 1.86 1.64 2.41 3.06 0.00 0.00

time (sec)

N/A 0.311 0.094 0.831 0.197 0.306 6.867 0.000 0.000

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

94 91 270 580 0 228 0 0 0

N.S.

1 0.97 2.87 6.17 0.00 2.43 0.00 0.00 0.00

time (sec)

N/A 0.407 0.189 0.801 0.000 0.264 0.000 0.000 0.000

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

182 196 397 0 0 600 0 0 0

N.S.

1 1.08 2.18 0.00 0.00 3.30 0.00 0.00 0.00

time (sec)

N/A 0.959 0.246 0.000 0.000 0.271 0.000 0.000 0.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

267 364 459 0 0 1165 0 0 0

N.S.

1 1.36 1.72 0.00 0.00 4.36 0.00 0.00 0.00

time (sec)

N/A 2.104 0.368 0.000 0.000 0.280 0.000 0.000 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

327 318 0 0 0 0 0 0 0

N.S.

1 0.97 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.772 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

284 277 0 0 0 0 0 0 0

N.S.

1 0.98 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.677 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

240 235 0 0 0 0 0 0 0

N.S.

1 0.98 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.581 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

174 161 0 0 0 0 0 0 0

N.S.

1 0.93 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.792 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

225 222 0 0 0 0 0 0 0

N.S.

1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.589 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

271 266 0 0 0 0 0 0 0

N.S.

1 0.98 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.679 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

314 307 0 0 0 0 0 0 0

N.S.

1 0.98 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.754 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-2) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 228 178 8183 343 4918 0 772 0

N.S.

1 0.98 0.76 35.12 1.47 21.11 0.00 3.31 0.00

time (sec)

N/A 2.275 0.302 57.146 0.210 0.480 0.000 0.371 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-2) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 162 124 3059 240 1875 0 528 0

N.S.

1 0.98 0.75 18.54 1.45 11.36 0.00 3.20 0.00

time (sec)

N/A 0.442 0.166 13.002 0.202 0.341 0.000 0.373 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-2) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 96 70 660 137 431 0 285 0

N.S.

1 0.99 0.72 6.80 1.41 4.44 0.00 2.94 0.00

time (sec)

N/A 0.309 0.081 1.915 0.195 0.285 0.000 0.310 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 32 68 57 52 141 95 0

N.S.

1 1.00 0.70 1.48 1.24 1.13 3.07 2.07 0.00

time (sec)

N/A 0.177 0.009 0.085 0.182 0.313 2.116 0.297 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

25 25 111 25 27 33 22 27 27

N.S.

1 1.00 4.44 1.00 1.08 1.32 0.88 1.08 1.08

time (sec)

N/A 0.213 0.158 0.076 0.258 0.265 6.047 0.327 0.447

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

25 25 177 25 27 46 24 27 27

N.S.

1 1.00 7.08 1.00 1.08 1.84 0.96 1.08 1.08

time (sec)

N/A 0.216 0.296 0.063 0.259 0.272 23.527 0.340 0.518

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 94 143 0 0 0 0 0 0

N.S.

1 0.92 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.264 0.513 0.000 0.000 0.000 0.000 0.000 0.000

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 111 98 0 0 0 0 0 0

N.S.

1 0.93 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.359 0.459 0.000 0.000 0.000 0.000 0.000 0.000

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

480 480 408 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.970 1.518 0.000 0.000 0.000 0.000 0.000 0.000

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

350 350 304 0 0 0 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.735 0.753 0.000 0.000 0.000 0.000 0.000 0.000

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 220 200 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.498 0.354 0.000 0.000 0.000 0.000 0.000 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

106 106 107 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.259 0.056 0.000 0.000 0.000 0.000 0.000 0.000

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 27 0 29 24 29 29

N.S.

1 1.00 1.07 1.00 0.00 1.07 0.89 1.07 1.07

time (sec)

N/A 0.241 1.132 0.129 0.000 0.270 92.380 0.353 0.385

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 27 0 42 1 29 29

N.S.

1 1.00 1.07 1.00 0.00 1.56 0.04 1.07 1.07

time (sec)

N/A 0.239 1.337 0.145 0.000 0.278 0.000 0.379 0.433

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 113 108 284 218 215 908 199 174

N.S.

1 0.98 0.94 2.47 1.90 1.87 7.90 1.73 1.51

time (sec)

N/A 0.294 0.109 0.685 0.198 0.277 2.372 0.320 0.954

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

202 210 244 740 0 0 0 0 0

N.S.

1 1.04 1.21 3.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.558 0.155 0.774 0.000 0.000 0.000 0.000 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

295 312 339 1652 0 0 0 0 0

N.S.

1 1.06 1.15 5.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.740 0.234 1.197 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]